Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
761	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
762	File: WhatIdo Version dated October 28, 2010 3:38 pm What Does a Floating-Point Error-Analyst Do? • Moderately over-estimate errors in Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-28 18:40:50 Matrix theory Computer arithmetic Mathematical physics Floating point William Kahan Eigenvalues and eigenvectors Matrix Symmetric matrix Algebra Mathematics Linear algebra
763	Eurographics/ ACM SIGGRAPH Symposium on Computer AnimationM. Otaduy and Z. Popovic (Editors) A parallel multigrid Poisson solver for fluids simulation on large grids A. McAdams1,2 , E. Sifakis1,3 , and J. Teran1, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-05-23 17:54:51 Partial differential equations Numerical linear algebra Boundary conditions Numerical analysis Multigrid method Wavelets MEMO Model Lis Discrete Poisson equation Mathematical analysis Mathematics Calculus
764	MATHEMATICS PROBLEMS WITH SEPARATE PROGRESSIVE SOLUTIONS: HINTS, ALGORITHMS, PROOFS VOLUME 1: INTERMEDIATE AND COLLEGE ALGEBRA Add to Reading List Source URL: probability.infarom.ro Language: English - Date: 2015-04-15 00:21:34 Solver Problem solving Algorithm Problem Skill Theoretical computer science Computational complexity theory Linear programming Mathematics Applied mathematics Numerical software
765	Conversational dynamics: technical notes Logic Colloquium, Berkeley, Finite distributivity. (c _ c0 )[s] = c[s] _ c0 [s] Call any such triple hL, BA , [·]i a van Benthem static conversation system with boolean s Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Theoretical computer science C1 Organofluorides Mathematics Abstract algebra Idempotence
766	Computer Sciences Department Computing the Singular Value Decomposition of 3 x 3 matrices with minimal branching and elementary floating point operations Aleka McAdams Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-05-23 17:54:53 Numerical linear algebra Matrices Trigonometry Rotation matrix Transformation Orthogonal matrix Givens rotation QR decomposition Quaternion Algebra Linear algebra Mathematics
767	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
768	Distributed Computation of Determinants with NTL and MPI∗ Min Hur† (undergraduate student) Email: Manfred Minimair† (faculty adviser) Email: , WEB: http://minimair.org Add to Reading List Source URL: minimair.org Language: English - Date: 2007-11-20 20:53:42 Parallel computing Linear algebra Matrix theory Determinants Message Passing Interface Resultant Matrix Computer cluster Distributed computing Algebra Mathematics Computing
769	Rapid codesign of a soft vector processor and its compiler Matthew Naylor and Simon W. Moore Computer Laboratory, University of Cambridge, UK {matthew.naylor,simon.moore}@.cl.cam.ac.uk Abstract—Despite a decade of acti Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-07-15 09:55:26 Parallel computing Central processing unit Abstract algebra Linear algebra Vector processor Cell Multi-core processor GPGPU Array programming Algebra Computing Computer architecture
770	arXiv:1311.2290v1 [cs.LO] 10 NovApplying Quantitative Semantics to Higher-Order Quantum Computing∗ Michele Pagani Add to Reading List Source URL: www.mathstat.dal.ca Language: English - Date: 2013-11-11 20:32:42 Quantum mechanics Qubit Quantum programming Quantum teleportation Quantum computer Symbol Hilbert space Clifford algebra Spinor Theoretical computer science Quantum information science Physics

UPDATE